翻訳と辞書 Words near each other ・ Modak ・ Modak Sagar ・ Modak, Rajasthan ・ Modakeke ・ Modakkurichi (State Assembly Constituency) ・ Modakurichi ・ Modakurichi block ・ Modal ・ Modal (textile) ・ Modal algebra ・ Modal analysis ・ Modal analysis using FEM ・ Modal bandwidth ・ Modal case ・ Modal companion ・ Modal depth ・ Modal dispersion ・ Modal fictionalism ・ Modal frame ・ Modal haplotype ・ Modal jazz ・ Modal logic ・ Modal matrix ・ Modal operator ・ Modal particle ・ Modal property ・ Modal realism ・ Modal scope fallacy ・ Modal share ・ Modal Soul Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Modal depth ： ウィキペディア英語版 Modal depth In modal logic, the modal depth of a formula is the deepest nesting of modal operators (commonly $\backslash Box$ and $\backslash Diamond$). Modal formulas without modal operators have a modal depth of zero. == Definition == Modal depth can be defined as follows. Let $MD(\backslash phi)$ be a function that computes the modal depth for a modal formula $\backslash phi$: :$MD(p)\; =\; 0$, where $p$ is an atomic formula. :$MD(\backslash top)\; =\; 0$ :$MD(\backslash bot)\; =\; 0$ :$MD(\backslash neg\; \backslash varphi)\; =\; MD(\backslash varphi)$ :$MD(\backslash varphi\; \backslash wedge\; \backslash psi)\; =\; max(MD(\backslash varphi),\; MD(\backslash psi))$ :$MD(\backslash varphi\; \backslash vee\; \backslash psi)\; =\; max(MD(\backslash varphi),\; MD(\backslash psi))$ :$MD(\backslash varphi\; \backslash rightarrow\; \backslash psi)\; =\; max(MD(\backslash varphi),\; MD(\backslash psi))$ :$MD(\backslash Box\; \backslash varphi)\; =\; 1\; +\; MD(\backslash varphi)$ :$MD(\backslash Diamond\; \backslash varphi)\; =\; 1\; +\; MD(\backslash varphi)$ 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Modal depth」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.